$\forall$$a$:Id. Feasible(precondition $a$: True)